1

Hypothesis finding with proof theoretical appropriateness criteria

Year:
2006
Language:
english
File:
PDF, 668 KB
english, 2006
2

Linearity and plan generation

Year:
1987
Language:
english
File:
PDF, 590 KB
english, 1987